First International Computer - PDFSEARCH.IO - Document Search Engine

First International Computer
Results: 179

#	Item
41	DIRC Dependability of Computer-Based Systems List of Publications and Reports January 15, 2007 This document lists known citations to publications and Technical Reports for the first five years of DIRC. It was generated Add to Reading List Source URL: www.dirc.org.uk Language: English - Date: 2007-01-15 09:28:11 Safety engineering Security Ian Sommerville International Conference on Dependable Systems and Networks HPR Ambient intelligence Proceedings Academia Computing Dependability Quality Safety
42	First International Workshop on Augmented Reality, San Francisco, November 1, Spatially Augmented Reality Ramesh Raskar, Greg Welch, Henry Fuchs {raskar, welch, fuchs}@cs.unc.edu , (Department of Com Add to Reading List Source URL: www.cs.unc.edu Language: English - Date: 2003-02-27 01:57:38 Reality Mixed reality Nature Display technology Multimodal interaction Augmented reality Projection augmented model Volumetric display Head-mounted display Virtual reality Humanâ€“computer interaction User interface techniques
43	Name and title of your paper: Edmond COUCHOT: MEDIA ART : HYBRIDIZATION AND AUTONOMY This paper was presented at the REFRESH! conference, First International Conference on the Media Arts, Sciences and Technologies held a Add to Reading List Source URL: www.mediaarthistory.org Language: English - Date: 2014-05-09 05:18:20 Conceptual art American art Computer art Postmodern art New media art New media Digital art Virtual reality Edmond Couchot Visual arts Contemporary art Art history
44	International Conference on History and Philosophy of Computing (HAPOC) The International Conference on History and Philosophy of Computing[removed]November, Ghent University, Belgium), collected for the first time in a si Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-01-04 08:41:21 Theory of computation Computability theory Alan Turing Turing machine Mathematical logic Computability Algorithm Church–Turing thesis Interactive computation Theoretical computer science Computer science Applied mathematics
45	SIGCHI Conference Publications Format First author’s name Affiliation Add to Reading List Source URL: www.chi2004.org Language: English - Date: 2003-06-25 23:54:39 Computer file formats Open formats ISO standards Portable Document Format Adobe Acrobat Helvetica Search engine indexing Device independent file format International Phonetic Alphabet Computing Software Information science
46	To Appear in International Journal of Computer Vision 2010: manuscript No. (will be inserted by the editor) Predicate Logic based Image Grammars for Complex Pattern Recognition Vinay Shet† · Maneesh Singh† · Claus Add to Reading List Source URL: lmb.informatik.uni-freiburg.de Language: English - Date: 2012-06-18 23:42:11 Reasoning Model theory Programming paradigms Deduction Non-classical logic Reasoning system First-order logic Inference Interpretation Logic Science Mathematical logic
47	Narita Airport announces the launch of “NRT_Airport Navi” Tokyo, 10 July 2012: Narita International Airport is pleased to announce the release of "NRT_Airport Navi", the first smartphone application at any airport in Add to Reading List Source URL: www.naa.jp Language: English - Date: 2013-02-19 20:13:35 Computer architecture IPhone Motorola Droid Android IOS Narita International Airport Augmented reality Smartphones Computing Software
48	International Journal of Scientific Engineering and Technology Volume No.4 Issue No.3, pp : [removed]ISSN : [removed]March. 2015 Add to Reading List Source URL: ijset.com Language: English Routing Computing Networking hardware Hot Standby Router Protocol First Hop Redundancy Protocols Virtual Router Redundancy Protocol Router Gateway Computer network Network architecture Internet protocols Routing protocols
49	International Journal of Foundations of Computer Science c World Scientific Publishing Company MONA Implementation Secrets Anders Møller & Michael I. Schwartzbach Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-06-14 03:07:43 Model theory Automata theory Model checking Models of computation Binary decision diagram Boolean algebra First-order logic Finite-state machine CPU cache Mathematical logic Logic Mathematics
50	INTERNATIONAL STANDARD ISO[removed]First edition Add to Reading List Source URL: www.cs.vassar.edu Language: English - Date: 2012-10-29 18:26:54 Knowledge Computer file formats Open formats Annotation Reference Writing ISO/TC 37 Markup language XML Computing Information Technical communication

UPDATE